\Slide{Important dataflow analysis methods (continued)}{
{\small
\B
\item {\tt transfer}: transfer function to model effect of
      instructions in a BasicBlock
\item {\tt transferInstruction}: for subclasses of AbstractDataflowAnalysis,
      model the effect of executing one instruction
      in a BasicBlock
\item {\tt edgeTransfer}: transfer function to model effect
      of a control edge
\item {\tt meetInto}: meet function
\E
}
}
